منابع مشابه
Inquisitive Semantics and Logic
Acknowledgments I am truly grateful to my two advisers, Jeroen Groenendijk and Dick de Jongh, without whom (needless to say, though I'll say it anyway) this thesis wouldn't have existed. I was fortunate enough to meet Jeroen early on in my days at the ILLC and to have established such a fruitful collaboration; Jeroen is an inspiring teacher and an inspired researcher, and the inquisitive progra...
متن کاملAn inquisitive dynamic epistemic logic
This paper develops a logic that combines the main features of dynamic epistemic logic with those of inquisitive semantics. We argue that this merge helps both traditions a step further. From the viewpoint of dynamic epistemic logic, the main benefit lies in the fact that inquisitiveness does not only enter the picture at the level of speech acts, but already at the level of semantic content, w...
متن کاملBisimulation in Inquisitive Modal Logic
Inquisitive modal logic, INQML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, INQML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in ...
متن کاملFirst-Order Inquisitive Pair Logic
We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models. Second, we establish the completeness and soundness ...
متن کاملPropositional inquisitive logic: a survey
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2010
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-010-9142-6